大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Advances in Computer Science and Education Applications [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II

0
索取号：
作者：Zhou、 Mark.、Tan、 Honghua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Scientific Computing in Electrical Engineering SCEE 2010 [electronic resource]

0
索取号：
作者：Michielsen、 Bastiaan.、Poirier、 Jean-Ren茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings

0
索取号：
作者：Frey、 Hannes.、Li、 Xu.、Ruehrup、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Deduction-CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wroc艂aw, Poland, July 31 - August 5, 2011. Proceedings

0
索取号：
作者：Bj酶rner、 Nikolaj.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings

0
索取号：
作者：Holz、 Thorsten.、Bos、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Information Technology and Education [electronic resource] : International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, Part I

0
索取号：
作者：Tan、 Honghua.、Zhou、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Digital Information Processing and Communications [electronic resource] : International Conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part II

0
索取号：
作者：Snasel、 Vaclav.、Platos、 Jan.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Digital Information Processing and Communications [electronic resource] : International Conference , ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011, Proceedings, Part I

0
索取号：
作者：Snasel、 Vaclav.、Platos、 Jan.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Enhancing Learning Through Technology. Education Unplugged: Mobile Technologies and Web 2.0 [electronic resource] : 6th International Conference, ITC 2011, Hong Kong, China, July 11-13, 2011. Proceedings

0
索取号：
作者：Kwan、 Reggie.、McNaught、 Carmel.、Tsang、 Philip.、Wang、 Fu Lee.、Li、 Kam Cheong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings

0
索取号：
作者：Li貌、 Pietro.、Nicosia、 Giuseppe.、Stibor、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Secure and Trust Computing, Data Management, and Applications [electronic resource] : STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011. Proceedings

0
索取号：
作者：Lee、 Changhoon.、Seigneur、 Jean-Marc.、Park、 James J.、Wagner、 Roland R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

User Modeling, Adaption and Personalization [electronic resource] : 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings

0
索取号：
作者：Konstan、 Joseph A.、Conejo、 Ricardo.、Marzo、 Jos茅 L.、Oliver、 Nuria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

0
索取号：
作者：Leite、 Jo茫o.、Torroni、 Paolo.、脜gotnes、 Thomas.、Boella、 Guido.、Torre、 Leon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Scientific and Statistical Database Management [electronic resource] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings

0
索取号：
作者：Bayard Cushing、 Judith.、French、 James.、Bowers、 Shawn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Data and Applications Security and Privacy XXV [electronic resource] : 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings

0
索取号：
作者：Li、 Yingjiu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Secure and Trust Computing, Data Management and Applications [electronic resource] : 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings

0
索取号：
作者：Park、 James J.、Lopez、 Javier.、Yeo、 Sang-Soo.、Shon、 Taeshik.、Taniar、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.